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 j t<$ ]/ Tutorial:threads=4elapsed=18.211cpu=59.796gc=4.112factor=3.287zXZִF! }]ŗXf1-"oވ? VòSE{ l› M;CXf ~"Lg)6 w8 tKv,\}KM^YpH lH(9aʒۻu\SIh[vԸ4}Si5梩Wui @4[f϶Ȕ*p*?h-kE<vVUG= .\w N)?Z.G`(6kyeց2Bfgކ #(*N<;E ]{c-+[ne2Ha|{h]W   Tutorial  j!*F#Oh.3`-ɡԄvh>ıyf]vYY)n:J> t3̔ p=[L1x~` "y1' D@T+tPzA펮B~l=Pv}:OJ( %Oޚd dfeA=PGwșLuY2gÐ)Ǎٲ=ISj0;>;CaE]3 8~X~V&FL< ;M">Ɋ?E=ƢDڢ7FGzFv H+RD9!:ƥX_g ci@ʪ*[䂤Ǩو`KAcn(83dDH1cIsdEm̅@0b[ ^Vs hNJ+ZCSj]C6Wh;Tg]ŗXiɟrj#>׋DĩOTL}e4[VIGUh1 ݗhztē*l!p6APj_"&] o.툓`F0u`7ʨʲh|#L3{;1e>/woOi2f".&1$ř;nkgŇpV;%v(^|p6}6L-`#QBآy։Ҵڠ+f0@M~o!֍BcL굏#K+3op(* E2+'BfǙN!RnW#A3ku33{C09+ǶGSPԹRNi - zc sTxByXUτF$mI[^tmal$ MBNOX{o˞\3.t{fvfc%ez+9!?H\VEV)=ugO9eұϹSu\2 CP:,6pr! ̖@&$*VH *@>)*c0MB.KXb5}mh.k م斚aer~ jW/Xi&$0,dUY.m}pB,v-4;e]a@ %9_ygͦgs9r5:cV|Y"˩<#SK[g4}*i} !_?H9}C·4 omq!Ҩԉޘݢw+m0sPI,?˵8L?[ a*{ ]19ŷM3/Sn#(N t2(9 W!KY)#54e+ȲGί1|A]IlBj^ `)rS u"̚,^ _{`j| }`RhUe >/_ja,M+7C]b@,aږ1 H,Pn:?<=s;IDUJ03%횆3W }T73Z&]LxVu5m,Ik>;?5iٴ* 1F_+]wPNx @1%"1 W^Ѩa|ϸ+Ԭ%x H+p5hdClP1t*D2g)Olj9 &K9#:z$&<6@*PvRߔ0T^~6>ʅ1H5tIjYAȢemڈwɲv@5k1ׇ< [WWVH (_ {0$Dd瀁Z"1YK^I2('\Pܕs+B@.9YJяtTk8@ ڒYY[ҍ댾{2ͬ%1%_(vIGp؉-ei??ÈUEW*ՄۚRU0p|k$CVjzSWO6ayD4! &tu5o%mwIūPD32R% tkNꜟR8H]AQl"e~B`l-ˉnEs=a9co֥tps{mmϽ2"M4:‹K`O~LCkg=.?O"*uWwJ-[DŽѦ])X%A]rKSB?RC#CaᦔU,?(yLleIB欜D MP/N$bRvyMe!v k/)xl}[}i|~٠ՖfE=I8[ >ߔ@Vauܗ?4ᴤ;\cLX{6[SVX-/ns~ۋq.}͚џDk%2 /$Es4¥@_l[V5h;C7(צWnNWuqoQ#wgYZcd7f47f8ffadabf764754b92d9c106c3c35a618513f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454