SQLite format 3@ . BBh77otableisabelle_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 H9 T\D ]/ Locally-Nameless-Sigma:threads=2elapsed=40.904cpu=68.416gc=2.468factor=1.677zXZִF! !b]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"AQ<4H1cK,R f\ ©Eĝ-Ɗݞ+ùPh^oTuZCⰔ%<3FqiӼT])-9G։q2:gC0/ą# W#̀,rLB7l2;@DNCxR±F^D3GgYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmX=:LPr!B5Ch=#;U*wL[g%^Ty|?crrSC [6JǶaG ōI|P;*NBBzriӃy4[)(XQ#/j8bF~=wgd5gtñk^G3C%е(Si.5=Hf€-O}2~UcO@.^!bQ!c0N7%RЮrD3^ tcp.dx)-Њ֔i9 Oy,Whx9|iD&CNykL t5f*9_+t;#"aQ:os8~a9Ȝ(Y @]?#}0;Š5@䍚m;?Ӏж/gZ@\Ѕ3'dZw\v,+J]$7J"mdXk pMzò)A c BOAڶe[&zДm㑈RX6]Bp2&*m8Tic^ Pgojdk4 jNl؅*G~eFO'Q^P ƣsLӑu^pcExl^s`ӟ@g+BdjǍ!5g~whu9'zgh2=Ճb(A"V\p%6zhde7 t[dq^gXv0[7"hкu҉iu,&rL{''Oz`O_D _V+c]}^w<`:[@{r GYRrmfUg^,gh<'O+}H|ϺZ:dO9eϩ~[)ҋ4m$()L"hdhLN9 8خԒZ"-ɯ0+% O.ǥy7~dDet0>Z/@)fڋ-oi+Rߌufֵ+v-O|='-RW~˟L͵sDa3!?KG^SF*Aejjs`QhTsqC5?^8[wpss?/<=8J: SwB@wŦlH@x2kZ ~T{uvy!pt]K !KɦA{X[9y~P~&PCE+SAG'PɅq;·x[ĞQw\" Ae]>nYIձKY?us틢SP"?˰EHL~kUZwh/ۼx ڸm' A %f/$VMcЖ&2l?ytVlQ? [{0ƭsks=Bl貁uZ\Nwv`EJ:K7Dsf G>@iFiJH[R }H=j4~QH= ZòpΤ-.:H4N_yˑG՟M,:DHC)O1 %jfزVd:^:挽_@*׉mĀF-/s}Gpc9Z-IsF/YBPڞp/)JNsc F3-R~)| Zp !ST~Bc|iZ` X"kYWY:c MKG+Q, ?|"2p9vxTBob%f _bZY^a̴Q UǢ/΃I՚3'c o,zf P Z5k-^+"B8s)(2ۅ?VB ^P\ޭLgYZ5724303e9d40b2f24449099b583e724aa2d2cf74d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e