SQLite format 3@ .  YYQ77Atableisabelle_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, "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  # l ?I Random_BSTs:threads=2elapsed=6.950cpu=11.196gc=0.500factor=1.617zXZִF! 0F]ŗXf1-q恈%kV^M[-cpҶΰZ =tM!N*81\ZH!5=M8K<ɿZ jSϗL>Zb%=G8Պ+s JQ =+){AO.na6nc&QZLpmO P}a'O1q{/K-f/U\wc{j|H78<(3u5ڌx*5d :#uPK)'N ͬF"HٻRFfUh92<Gr )jYHA}C"HGt]罝/VR3v[[5]`kq.qĮbK9 nou&s蝭 UY8D!Se(MW#+"jC-8k6)7',l;Sc ^% tN*rv䛢Cɫ'DsϺaB.0޴d&loRW<Ŗy|'o([)wշp -5E^o=WN?:EKZŃ'I\~'(+Eb_L]I>茀e=.x]jj2?y"7lO*F# ]ybgYg(JK [zXeu娰oP|Y>"x@G0H~lO=2 mV{0"`gŷ*p>>o:yyp|R}>{<+F"|'-F`yFjV}~<[ 8w b'[> *WngkGwH5FnNQ[/I!!˓w\0K$|Ȝ$ –sхEDax<Ļ.ܱHdJ{A)9 h 1aFKÕ#[W/R4&aRzKr9 uJJe)>#ܓEЪ'J{ȇҶᛮ( (H.]A!v@֠ }`W3N8(%~PH[4:ީg#ʙ[q9XJfa /yor0{*l