SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  G G.5|$| ]S SequentInvertibility:threads=4elapsed=35.611cpu=118.948gc=10.588factor=3.347zXZִF! +8]ŗXf[&QeQcUU)Yÿy?8}z/CkaBި陆Lb!"'o+WJ ,܃B"ےpSZ)DؚdK-" +xV{>pNa oFݼp]t"TE$#ݸ~N#j_wD}W쁧2"OcOԶW\̊Dbv'1n:8έpټ4w:D.T04By Lֶq ]4~ 1O1?2{.0̧i%|8zd7-vt2@+I-IS,q$cʼnKjqN$Uѭ,t'qj4jnOGv [Z4h-uzS-w;s\FN]2" B@(PX yscɫʳR}Mmj =^qԣ&Av7@7q6jzZۍ@Cƕfh{,;PpK~R>Ǜ,LwXv@@l"{:g|) !haSv'(NZi\)^0f=pJSti E1ׇFT5H8T@rws2GLv[(cb4]?T-=Nz0uS{U=˩݋ٚ NA.!F֢ҘOYݯ hSk GR-gU Dg9Kss`V 5 SequentInvertibility  I\=혮0M! Mrbs;H?_YL}©T4czѪX>L*K ~G)K[NOZrf^.JJmf7B!8~1#ݬ;c܉i2!6•_c)T z slOf' wX Y:\kj羓H+/8i+p2>4 Yb3:̕7[.C*;NUU&)mu>x0`( iWe˱gYZ7zXZִF! ]ŗXiɟBܖ& 5 £}ͳR:z&׻d°*A5Dpzsgw5!e1AdXn,Vp0(}mA_-j@(uqGRF_<$h@np g6z^97pygb$!Vt )PoLfRӌT{A{ً`ƃGYgmrp~22 _i6.3IP,UsТŗfMj$TJ ;yQGOyjrh GjfBtN3]}Ol3ofC~HNʽ4STqʈ? @{\ǠY.AhFSUVA3xrCuF"a>pbwGOͫ~xy8)e[x}=KD\& *aK:{²ג\@y2$n۪iA4N`1`Sݼͷ(&[dt VpxrzmʫDdQIobՕzcl[(rn<&svrWM-43#Y|_bLTP^FpOx3Oټ^PX<UjѱBaỂ`b'4NWXb k{Ps)y36Ɩޚz&*xhP@|`xn sݛ>J:@Bt3u)iK ˘p|7 L@\5h'$z\E{Wt6bSm5?D rNu7Fpr4(=ٵh,qr &xi޼6e-w0ofQbUM*y|oМC>C }ا] Dj2A06Լ%Ԃ\\t`Iѯkh6{4?2|yb{ޙ_% a4ǎr!f{mƲ)Q)(Y B(IFOw_sX p.KHc2, 4_x}2}%FêQjg>} {2Bx^t7<}kt%>SuKS 7O#7{qX2nF^}xc ZiwnwG~q!Ѧ ۱V!mX)ȸsZs<bFǓ9nݭoF n9ht&T\#CyXcORQ,iKF>$Y6mI4`.+uGϢh^N:('- `jJ IEzwkBx#yXR%NSk6Q?a([9F(DBeh{;¸i v^5lqB:N NDZADxC˅=K fX=e^+r聲!,T&릌j2a5gY7- {mrEOc -md p:"wMRwKGzݲeGi>ܯX7G V+iunb(.K n97(HK;-=EwH9 y C{7yg٢r 憷t܉j[n-feqN8H}VJ\ٶU ,6ce*81ʺ"΂ZB{ Bf)^ҳXrХ ӢPc4gYZ8f0cfb48554f16347a1f897c60c55e762040d24776b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 aa443a5e13d86bc4ff8f2c315ea6a1522ff6b534