SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 SS \D w/ FinFun:threads=2elapsed=6.105cpu=11.076gc=0.532factor=1.817zXZִF! =h]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6Q#j 8R$QŌzrBNQݜ3q$j;kSz(|;|k7BM 1⼬^_i%1W_@VƳ"{\(4JvɭFz}zA;4V6`L $ CBQJ/o:|`hTQuJ,wȃQw_xm1F8 ߈Jin`?|aC[ ˏ$[BK'7 {4"{s(sWkimC{iEπNڻ4 K`>SLzq k>,鏵EWRUĤz9*vjl/r r̅.3SܖbalR P#xW.zg♚TH{q8bl^NtyEģYy(Ԕ};Hg4Zγ MHv   FinFun9W  bhƮ{J8)/3+DzN6ll,:(8jgb+`&wCx7JhCw@b,Af' K =IJ&huXTʨDԭg;V:6b0ES6( bj: dѓ)L{(DD{˲q㝜؞s2xNQzNhF)Im\&d֭of5Z.E0 yNKh.U( \2; 7'Tĺ1?~/,(ע%͇EQGl!|Uxf4e]uYSÃ=ɠ0%蒅 ]^:=Zĸ5ge{`B~\3nBm!`":E~։Sw; OЖ'/!k!hIeuBz;غC[ANSV>c( "W4.Xe0…U6b2ox:03YkR3I]M*t&Qd3BnlEXi6/Ŕւ>W x''4 Es=#F̦D@0OO?!rlKCJlѱ?E_OQ=EG$]-.S>J`{ Q.Ml5I¾Nx;X^ DϸO&G8\ڳ6eP:V5 :pGT s GTb6CyDD,J_ {%QgYZ7zXZִF! * ]ŗXi%B׆[pOTxt%Wh mϰWz4^t֜ O}jlvֹ\PU(%7*{2vح%3v=Xޭi:mP* = MбcH0kVƟ2NNE7͠ruQQS!IDaH_{dսPVAbUۦ# nJ'(`QդkFH-[ZSV~Gʓy#D=H -s ӊxyp_j/ 4h; t,5)yY((廭_wİ6j^?X;}%~<ǠZÉJ).''G̣C j#$m43A]橐_x1މB|1gD;X/VtM]+դS2U hv V¦is{['ȂY>>ds`ODX>ȴpƢ6Fho2yBOESQXw$qkWڧCh\#yԧ'lzcӇ<7libfǺD8j .v&{F-d 3~yqǰ%Z)ըSZdul-f. N~ade#T'׭ZxTN9{s@^yhxה3AB;QYD?̫GK w gTҋgYZ00373f1096635d47f99703056d4932b2c263cfc2 282854b74f92ac81874900e5a3dfaef5404dfde1 4cee7a4a8ff3a6a412156b24cb39563781feeea5 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd11d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295