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 .C LD ]S Comparison_Sort_Lower_Bound:threads=2elapsed=8.168cpu=15.572gc=0.636factor=1.917zXZִF! N]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkIxBGݨ71ok4jpΧA¶bTJ2}<JM8hK ?y"O_וڢ(T)5Jkm!\XIbcj3g|5j!`yTy9T k6%G2ܱgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۵Yn\f Νm iY sEbshV^P'&`$CAc>v6ȪګXd@dX  +yDpBKR(gGvf]ySb n#!'xaIA Z+T5/UQ/#8X]2yع"xK ߾xEEo[4ёK/I'z4>B\V(a2H\mԯMqETOsz3gt3=_m 2.d<$or ?m2rQ6DZʇ76J~Q0L^zW$@Mfȓ7ϢRf>%NFouV+y ְ%x.E!,^x]U7Ȯ[ Otb/Շ9"w;X>M+ݑWj&p6<&WE]ְv+3J\Q8(VYhH%>.R-ka0Mă`|hTN_ldl?Q,#bͪ+.88b^m77Bآ Y][.Ul'漼|Nξ_ng.fT-Tߘ6j8K%4f}$c?jkGևXtsNZD֭8* 4I aRS0E (p*_-uEĴu\ȼl26n>;2m,*M*R~ ⲫk%8}kݰat@a,Njgw }ե20YjI:OzIv$OARIdT_]ig7Tkt{ř`4MP1*@L"G o,hIґgr>-ծZ5bV1 VRtRTJ۵?J7uSiAR$W Zi+<İb:5VFt:"E'z