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 _+ 9C~TopfpΆr[ǔ\WhIC4 1B׼~>’؁}ʻ1o6kRRiY7J"Hyx0/p)/\11Y.d' m+3p̨2zqoPSwU;ruUVIQ 8VR**!RWw)t,-`gYѱ"-`LV GBʘ qcJ`\ARn#d^Kٓdǿz/:TjK9_x1y~_S@\$ť6`tB::΁A DcE!bjrRRrXQ(M$uBd h-QI#DfEo灶M'"Qu4gQ7͟/ğFP7nL_UtIYRA);G5a%3Z0)).7 E:;kx?7XER$U1{hg#,*R`%C!*-v^Ȟ) &jۄY[#Ρ>Fn=WT|b Dyވ&[:ZlpNZ:366<ָ$)1peqвƲ HA'-f|)pm>V{zU!<< @Rv#l Yh6h=keM ~Ѳ ײ1ۦkB7nr%B0׾gYZ7zXZִF! ]ŗXiɟi /-v!NىR!`vsY|Gs^j7M%nn" &ՅظYM+r? ۆ.KG1zm<K9Ǯqs{~#D~agz|zb,}CsO̧ d GܚqsQ6\\b+@yH6xӮMY66?vhWʞ+" 0@4C;0(gYZ7zXZִF! jxl]ŗXi%G̉S{wbM4E ܐy>dĐK;q{Үqtej36ve <]JJ bR$y2eF(@gg,+SOYz =̲,[otP۳NVOwiQ`GX Y?wYv@9q,_cv˦oHLQV82uu?w \#g-k/H~fDmrR2bV%8lprfOx%4fٛvMoVN1hοs]za'X8?.59v1ίrxOdJ$^B.}ǖ:<; TҶ[]K[uCv6fZ`hm'6%)ߕkdxY rovmHtt؂8\e"YUzd!yܻyAغ>b=MʼabJ? aLJ1sԹ=9jR-/afp#EZ"8KpR6 \^Y|#"NׯJ?]}PK AV$sݗ)p`t-W)i4wsr4/[r{2Fk_,"k3Aێńn୉WQoV'Ǯ,&+ָh"5ע'Y-iV K.%73[}I85uc6{CD3ooG}a=M&(wi#~JGď}.Cc0^bOp<\R3[ UGoI8VѸ9>QJPɇ2 iO#ϮrD3,'WMk9$ľV]AL-1FR2CԿDD%Zװ*x[bue#$)_$o2ֲV .17-E7HХ'GloI?J/,lOWo4~L ִ jL3A*|nnYa("Eã-hd5a'Аۼ[S4.O$rE{!Pj-2 f 6]7ZPIm& .8D!te]G)j50{)\$ol IoK")g-m