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 n $ ]S Lp:threads=2elapsed=35.053cpu=61.212gc=1.212factor=1.757zXZִF! ]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\f8KNђd\jjM ^U fSc66Ґ K]yF1 F  Aƕ_Ka7K{(kSz GC(hcr2YG)]_= zǝt~_Pk7+>FG5̺t6bZNϥJ,j\vz[_ut܂pޥ>/|dJnEB2 ~:Y mSgvqW H5'tvTMP耦樂vKq|2KaqGn2V{o,,",FPPXo5FJb7t6QA CjăLIAGkg+ -Zdw|-7deiuy!~P+Lf%.λw,r>"c :JK\M\w&M:Ւ𞕜 fp'_1l։[_"]С4p VާZa,3q>X񰇓(V3cةV`y#=5@CKEzc|̨Byya?V۱2kaB͟B \Om~ؽ-Ax =@ Gc9A|NMWZwZgYZ7zXZִF! 3]ŗXi%9#qm:jVɭ I4^(Ђz*y;!D銳 {Wd a]^gr=eWX6o ᶊG?NnJvQhM5xQAj\̔ vpFi͟R%Ɍ-6X !"NӓmBY\MIhqQ o7Fn̰ZV^d*jOO+%[{ro/bFv>P4Ňzp; 9w2WEUn\+M3L^=ԣBm/,S{ϧs$O!4B k6H{C 5v$ʍ:0Z#=)rQN_ !ӭ5fj+Ngk ub(|2b?}ӓZ=OLm?ӆM_2#bO\7G ߧ#MOg`8JۡoėiCKB)JBi UeYD֭Bqnb.fNtTsz.h)gNcxڴr@sJ[J3;~-6$Y[)X[MQI]vbSW{M_ﻰl2eډuw QZ"A`j0ڷg-;RXg²u\LVZҝ9FDKŞ-{uz㕍 ]0KsmeI/ (qT,z hrg$ IqFf!uq `|ʂ-}`aO7f1K6>ܖk{/gc[>t|F=cwA#w \t'*z/҂߀l--V8)a^Hp2ܥOđ`mlOsܻ)#Mxknagy-AIT3T*dc×՗C~"Z9#4?j -;Bd~3k%JԢ "Q*b( ˽"i\߽4f Sarq%;oW5dŻxt& qI#{|cJ=ēio3\1@=#@S+ F*&IAHY2RڸcO.R([(:N|32-euxLm6>ZD`Y%xojsk-ߞhl, pu+/q֍eEə%r?jA7) u)q+t*Y`ysQ:VOENz5Uݿv!I,&5$y`z7o7M* 2ǣuhQ3=e۴}}3f_ 䌢9eUւ#SD,&NS*rRri<eqj#y}|(Gv6W ObtۖHa0i\HMHq1x7~ ?u˓H y[X9YfU$ xFTѝR-Vrg'.lM$*EWMwgeK 8W;Kւ][TSm-Di4܃,G!~._͏3|MB(bF)򌍓4{).sPh`PnoIxiOp%A)UTe >̈}}XL`B u?: 3KD'4ۺׯ7M0*۳zM/P(tNupq˳ (s[#ԐD|"j0z?a5&ҔfLA="O"-/x\IN vCY{-*PM%nB0^lm4>F^@:ygYZ7288ddb5a726c84e47dfce0d7e4a4fe82c2a24408ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 058f9ae2f545853b9ac66d3443f26d23073423d9  Lp