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 c' tl\ ]/ TESL_Language:threads=4elapsed=21.355cpu=68.104gc=2.692factor=3.197zXZִF! V]ŗXf[&x玻C+!X,#o dەKb ;&KXi/f_C7֔L8gC{d+y8lD>u&SH15*ӚgU7 =5j|B~qjhRB\/[c.PIp˵xH[yR߄ #h?m'ʼnv?lݻ )rj) 8'wqM -BXn!^apiYh?Tγ EMc(IգWAʄmsx;Y/C,fd?-uqEh!~ؒ@$:4©*ej^N3}i|59@"z]I71oq=[2(*Q[(EJL0]ƃ^a| kxqE({m  ! Q69A7c&VZEipL#'1,²H' m2ǙmƸM'῿BozQ$~d+6[s=t_+/xI??3Y$ΣCz05Fv1:qgCT[aDRYhLFVgbn6L.p_Z"5 G{M0SαgYZ7zXZִF! -]ŗXiɟ-BS){?=l1Gh| ~XmRs}H"L1d<ٱnG!'7 emJ^%NP:?BO 1ypZJu'~:zdVtKjl)O){boIQ Q_ΘOz'6GeGW-:V}Z,B<0{( 8];InXNCEo@.^O@CRrZMa.]'(iFTV9Skt)=1QVŸ3=+wF!+Z`yz h78;OX(q>EK'Ѭ8'7qK','XQJT;U+s|]̴qG fBg- -[G%ƺD,-&S 9xݿ&m\v8'.Sת[ڙ1Q꜐'Ao"w cԪQPfqrJ_$WdO>i  Cjͦ?-\/hcl8XcZ`zϟ&OWs/p7&\J3In©&aQo!ށbUv3fApZ]|T~=#Go^MNL+pk/ Ftgܳ X|m cwo%`eO4ֽ1ֺ%Ki +h| 1fAbχuqS )6qF1~)u@LN^³ ɦpV]9rodhfzNs{QݪzQI 1~^`[^&ޡҩ]/\רZkaO=PU˱ܥK~N.<6=XO\ E=y~^:I"t~+yB Xn:KIF׶R$.0fwZ8yZ/?#Mg;P߱$ w~uq)6,ZNoTR]Ew2gN"T?UzQ'CsQ!~H ><7mDQ!]XJqO% Rݜu#ܭ+-?J4f6 -i썚'c9n';^l9K+*-3OCJYD-*>>ne"7f} QS]'q]ŧ>f|ә@f.)-xK!2$`';&L1φ#U(cΩʏeF ڝk&A>=5|:qWe,gBp<_[#*̰}PÒ6౑C,#05rWL( 1}ǯ[Ī(Iz9~ UҮͳЛfT0Jb!/g@<*Cp٥+Eu! fNh'*QwX5 d͚f~3l^Grl' mf8>, z?͘@/rV)5|躍D"7}TŸU2{^b ӘT #ٖnqL \wQ)k|ꥯ1,3d]#]8SU0+Y[۟#ضzAlrm |9%|./%>R8hOw?ZsIFl$ 0‘K9N6Wa,ע ,a/K]k˿+!2bGXz'L.9^-!uX!&o؂(.// 9pSjcm;˦~M-;nUo+-"K 2i`h|*brGAerD İ=t.NRkI:ɡ$%k0#[ɪ}/@@X #-̮X/UƟB@Myy tba4ϼu ްt^rypL@b1%™/zڱ%^6ʝlVE:A" HSE80  +h':* .{q!پL&