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 ``3 , ? Decreasing-Diagrams:threads=2elapsed=32.705cpu=56.720gc=1.788factor=1.737zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I~:Ù#@&P+6#;k2[Wt Lʼn~Kf6$7IzbP9(+F,ܽDZHVOS}=B+>ḑ2ה9Vx^5'"9*4|[: @LJl"襔E7i7#->XsmUJ2#vטP. v%k9Geȳ8FOdAi0'RO} лz=kDy߃HmHkx=?9<<|} :r.YfurK.ЪfD޸*ԏ|Wv+^Ώ.A{f-ɤ"0ϛ H%g+(N"UZ5'ΊZIgﭫg+aʞ[5 kmJU_.'nȏ xZTCdq'G$7;{ -ڰS @ΊM-~17ov#*>hyLtTaIHSS!Jv>@^CڅMՌBnSHYQGa-o1~yfObjfmb!+\ʡD$O Oj6Y}Ynd]A>鹲. 枧ȈTҟ C*iK W.j9AZV~ eNsoS(ԞFN~0i4 ! axA;Fa7 |妽TO 䘟i&FCI~[z8F 7›dű*ҼK TB@e "Y?|e{B.!;<{+[uӪ e\N {"N=!TF4 cJ ¾L3DQZdQW ӱI.^~5.BH6hHgfPeS#9K_<;Nd}Kd@,dF=ʎbƳR"f.arUUYf&>rq[p)zcc mǡ/ DY? C&B"oBn͎1*s5(n9JercZDQ!@ՆhA91&U] hRmM7 ~-Pp~ %]~hp{0m> .y:tKVmO]L뱽NXqCA6!Xiʶuo$>'Z&mV[ej/jJ?W\C 敊F h {IF:xX/:'@]0nsUen1uI,9 Job\B%Ky$LS i*^KI0vJ\~$N Ts a63vqsO|в^SO]Vn%4*?0>R|;eTəs[Nd5[:'6f:1Xˏ,`97VJ~EP9Um,Y!]<%4%JxדGt.2V,?O?{-M޿s5MM òpYܥ֭gM5֑ir~ B=XJfϏ^_Y3}^,=BS;v84P8q?"KKreԧCMAB}؝O^aE%`[<مބhE- ȟ 󬊧WJrWv#iEtP"3H+SiM[_Ő *P򿀣z9 $R1 'vOv Ci*`aW__ƷF_b3zʰ,R}iǵ ^dF% _LWkC6 m2{ax n; Eu.N=D]( v#"=,bJ7DL FTZuao/tycZZ>^jc󞗎I2()y˰lR=s!-1-;LYQQ_`TüTxQ𨧧@r #0=F͓6nr&_%\tYߺhogYZ1bc701f8eb6474e542db12a6b783a92904024b2b 1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340 34221437a109a5594ba7786476b5abb5979a2647 4e3dea444da192193ff98804ccdb36273aab6e52 5f83dcf2976631d4e831fcc4c95c7a48e6a58901 82fce86746f9061205d625fb926c1da3b71e3bc1 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 d590558ac27bd56791168a8179e1e46d592628cd ea2803e6ad062cad8ab0bf6f40be7356c48a14ad f0205e10d968b4593c6e9e0cb0dbe97f330d1cf6878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 cae37fff4f9d3f7c7b0af52720d3c2a97957b546