SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ##Z lt ] ZF-UNITY:threads=6elapsed=5.804cpu=30.448gc=1.408factor=5.257zXZִF! o]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b KFuS4EGExz'#q x*DB%E [@C(#Gk+S|| ~E^ՃA[;Tb PW;;/SJm%e .xl OE=t?͈N@^"us $ͬos(!K1X$&l6 "|"l ^t2ou'.hE %x( 8*,S1!Z]"%^4)_إ'~蘃;k$gRbcBQ.H^ )Z#!)Ur1XP^iIrhVyzg"}o,IVWÖ&F3_թG8OC|J Jes5 4d*5n)I-< ɳѡ&vC<| $9{P^oM BW=_};s ? 0ۋT B@RiO .6+IMN2˪#nggYZ7zXZִF! hs]ŗXiɟ9 i:4V;}A<<ګMP7#\zu3 rvI tx.rXi->F %\zK׋5;#`Ui6_O5>xEu8\j #XhT!^9W{.o)槜Xz hgFIіtέ"u?Cgyv< Q6E+4H_yʢȕ-Y{ގ҄M=MA,f=S#\tһ%{HI{ZZ&1oLVueg6jkKb́:8^?Dmnzق&i ԃ dͱgYZ7zXZִF!  ;]ŗXi%>B$5 rK15Ek){v>;H+A5h"vCJTxXC~Rτt,!1SϢm2e;:AS8&UU6ag͝U5ɚmfԼ2wuZr\c>K# S"%TXA6;͇kFO )W|d#I@McphNVcG}er %==Mq I e5m7s 5@ k9ךE0?ZZ2=3'x=XM'&tWkWia/k\bAjDR%K;^YԽo>_Dim%sϿ(L|O㕧E\g#@S5JvHzRb;9jVlT;;05]II<\tx}ʅ K'D%5zO!;٩C3Hcm mˇ*^S Ly.- C|w/~gtS MUSHń ]֔5&hc'H 7Aŧv6%:8[`9>*fpSm\(c%%xkcа_d|᫳dV>r™ȟ]'Jn&I@K~ R٧;q vM>_7orpBql\od [1Y/wzlJvȗ\g #1;U<~Ӄf9NʉsGYJ ཚթ_3ךesh[!~mL5BrP;7G¯+:\PgYZ4fd46c4a07bc2e19a6946dc04b98dae3a9cc659cc56e6b8d00b62917dc219d0244bddc857daf987a 6bd6fe64e5922c685275b697b03f358dcb26cb31 74d52a162107083355977dfee679e4e494849f2b   ZF-UNITY