SQLite format 3@ .  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 ~9 $4 ]% InformationFlowSlicing:threads=4elapsed=6.065cpu=19.100gc=0.576factor=3.157zXZִF! j]ŗXf[&KvE{!Gx/d ՜fjp,h%9u\f`,?2GIK(3&~;7$nMphfU 925,|8b噬NUyQ6A^W 4 6 FE8U5?gs-iÚC(Qk mD2q >Whڈ!3NoD_7IjQn۞vky+{U[Z)?| /;z҆џ6};񒺏e Z5śnJ #y_lSna 9E5ߊ[H elws0wAL/J"bq‡Y:$f\3A))_Ei*דGiKZG@M0\@0M9@ז93gYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|I"| LLXO. RnV*͙\W~z)7pdtJ.^E\YY؍;vfPPzJgYZ7zXZִF! :`]ŗXi%B !4y:+a)^Py [SjˁAc,G< T0pnz6k1߶FZŠ3 y2Y#aY\zޫN\Wysi<6ѥآ繘\ծ.(LO|u|*X~},PLhLqr0IGxweИ-/JilCއRQv^%%5]׏y 5\e~d Z2daN?tb2;KSQ*JCe@8{ d+HbDK)@PO+=$[-ٯUGHsӆb?Պ!"jd5wv5r{`i+w~K*M6]ORN.ԤJVn&4Emt:aQ 8>ᖽ%\kXG:ץC-դdw3/p~iT;!EYfQkL-@N]{Ck <;HF/U&[p[)mD}aN8TOֻ|v? mroN<>~0j;FUԃLԧ"2 W[t2 GI1נ&xWM4*Qk:`g 󓠦u%a'f߆.ԡѥc=E4%7~ΤuC4G!Um1`WW,I R& ȈU?GG7cyA?NAlԫ5<yxXE;AIx:K{6о-6iH;0H]/Y8%BN4--%$̂3twIWX PTSΤ#LGqCCH!f36lQ2yI=~bX/,en7\rO`%(0a/xnu%5bNF \,-HWFHL@1ڶt {E^ (DOk%DQBܜ`?ㅱE,