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 M |,L ]S HOL-UNITY:threads=6elapsed=18.165cpu=84.940gc=3.588factor=4.687zXZִF! /jx]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Y;=!jG*' ȋ*%1gHN[ TUIdlB{,GXr-V F0ʝvVĮ3㱿VZY]t3_̝hh~z TK nbVgLE:\_8/%3fIAMGQ+gUQ ӡ]x60hU;&t%huE~t K]L$U{ p 'W>lo5e,{`4O]ruYCkE~* 36h" vR+]jJ2qc~ +AS?F;VBEp-^x2JO[]}y;v\NqʗmF5Op-ڹO7aXBS0If*v<uy,&:CT8GBs2IYh*4*64Nb"cD fhNLd IL]0+lNcs }/Lɯ)DhݩAM7GP_fs߳gu3`{,7(JOi"^q$ Y"Pf K=KLЩ\_Kd?kY⼫00W㡐6bk.)pR%Sōfdc߯<,!jJ[=% yo:>,(X'_nhd-Lxʺ 1zwz2\-L 3>CF΅'V7@zk_ ńo^ ( b:5[>NC;g#I!Ҷ[JV>N6#i!;Uˀnѐ+f+#$NۑT -&lAAO;a"MC^jE Z!;Dk5zgYZ7zXZִF! U~]ŗXi%9,n';lvR{|2:b=R ٱ5O3QWk$S,,5Vtf*?2!$x ㄭ+L5"W4=\{Qe]ɽZZ`6)1 -)nNaCI@}BJ 4Ĕ3vhVr5YhH2cߕ>QyL[`&89! P MƍGa˥xDS|xdt÷ۚ $icE^?epeOs.[,ć0*y fY߯_%҇˶wD ()|cON%ke2"NTu\L>:r*c6_wԔm@S/n!;hX'Aݬx0]:ES %({X>shvr:feƆkru_ѢLvk+a> L ڡYHFY1VeQ5EۑعzH}\?ϻцB(Jw% sYsyH7QY=뾗pY^'L 8ƒۭ ʺM*YJK'A~o1P諯 $HMohZrMېj#.WBVX iIqz}ָoMT1UsJn$S&(8UTY|햤N&'h{dye"0=Dw+7ەEyjέ+wi8ʨ Qzs\R_뒾]O'Å>ӏm#54MwVUOhݖ{g8Ne|'~,9f 'ؕp0~ Kzgֱ:>*)Cc!$CfDW:jݲY΀o>!8z OE[_+T=澎 A[aLe/&.76Pq:g9HZ`HCkZ򣁄MD0r}d+]c ~^)vc :Z =gYZbb9ed3eefeab4f829ddc3c89ecad854373d53d9e144fbd49de05d756fe9e2e19f640fdb8a712f8dc a414a4ff183b67646c55f7bc60a981cbc1fc30c5 3f15a4d09d6cf1cb917b6067d88d198fb48e78ac 53b9bab852ab2905962be7b9a105de7f0b214cc9