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 uu|% d< %/ FOL_Harrison:threads=2elapsed=11.326cpu=19.156gc=0.636factor=1.697zXZִF! %'i]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=b5f m:.gūv0bۊvԻJ']q%6WS;;\L&~= XYO<3>r^ :wONRAp9M8LⰂ奜f~"VaU9U$@/jot :_҆cCw % FOL_Harrison>UR ~vapB|={3s kumP|I.Htܧs8I9+8l`ҜRQ$U"w&(JS_ 4kDnTuݙ%OS zL;:BX9مΏEeWjKr MZ^ıœ +XP{n0vKzֳj*g4o}4F-jhj(/v+Njwa?V&7l'}ĞEH>'ȝ]CmҊt,a0J0%B170YCd+09l1+zvmPQqfՀ=.͆χnZftkޭB" W?`ҙ[f#hS>}*u}`;Ҽdmz 5Ӌ,j|iuTd4%.ͫڗo;l`?UNL[+j/ϪFcCo7 ~^e! _kq ȵjRͲj<XEgT\t yJ7NJZʱgYZ7zXZִF! ?H]ŗXi%ep.e0<6Pb:Tf>?h XkCJ2A3{8>";_hڴ|vmi'~̀zm @rbWwy_M/;>b_ yg,#O>r 5z|ԟ ̙'^G38{"ǔRz-9 3}]e xoiR[$ T!"XF:_HMRFow۰}}di@RGar 둔tkWvz63S< Q#A HtZ )XxHm9*}N{x]iEWU:C)#+ Ȉ1S=DG&wn,VAFK 0>sIw!plHa(e*tM}la -Wx<ڎ$&Q~79>)K[C ߦ})L؞#~>sD|Wbo-טL6__!'%klb3To?rys7c5#4*GHZSumѧ_2l8 ԥQ8=Q6xZq\8 [rïB 4l-S$,gmά;POpt}/ΕzjXIcXP