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 f# L ] Integration:threads=2elapsed=11.097cpu=20.676gc=0.596factor=1.867zXZִF! h]ŗXf1-/6vRZEBN4h7YTvLciV<&gYZ7zXZִF! ]ŗXiɟTʦya͸2w)g4 1Mwƣ~81]b*KO~iP>+>]+l=Zx_]1?Wl$h ǝI=S֮).O=e,?"!VQgYZ7zXZִF! ?u]ŗXi%9#qwqGe>6!{հU1S7v;ϓI˛x:}_+uMcAd$zn(K y INS$mX {H&l[+8qn#O0% `ja0w#Dk_񵹱R]Y Z/#;fop6'4>I o۫ TJ>~=3!{A$PS2S4WD!bKpx=("2K) >J(p.(r*, O~8Q88!5 }twjd Vſ_a24ɵ.Jͤg ]§C\rA&8"NE*Dd?X +$TG4 KҚzpL\݀~) )^b[}O eUگ*>&} ]IxI$0P['aNvSön@a8jDMWcڿKXbs9aϓ#{=[جt(M+ln .\ aH<ȟ0ka:A\)[H)Ee(B)VKl#,%(I Enmñ./ H^/ 2 '$vTwxY]AToio-8̴VMvJ-?3_P?#P=ٹSl(Nlq>8(Ey~F;TXqLw:7+2[rXC}gC4C<&>=S @: !ڂuў`OXD'׭9qm?|{Ӈݮ; < d =5\?c w}}\hNIFAia_?>yqpTom{A>➷ksmt/JDڅIȝg= /`<眩O2vtp;;tpD>.:\ }n~vQܱgYZ3200b65a9af529da4d1b7aba789635142419894e8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c # Integration