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 p# 4, ]% VectorSpace:threads=2elapsed=41.848cpu=72.100gc=5.880factor=1.727zXZִF! ']ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9n3<Cn?k,p9GPk!)B=7@x"i+>3uc :u!bjn %lW:Ǣr#ȩ*"'U>;[ S&JU3Xana?o׏#:a'Z]c&,qae3 {΄#09-bf`%Rx2AWɳҟ gZ{ -X tjfx}ࣳ>؟% 訢p#!SoB)_6 # VectorSpace:H#:[Hi\- ҤEqPɗF̀Q%'D8}kgra :&]yD,4ǝy"vFY =31|=KMln~BvNۓ1Q.<@L[\85H6r"Y╯gB˹$j?atI鲿"+!ΰzRbQ(@Z fq#))Vj~q,)n}\~LmU%U$D,O>^?K8aTܓIîu׺{;@/9cMXq;Z@*؍ȋ Q5[l j&#G_>{w? |{_8j*h&ǧIo;:X빪0T`"F$[qyPSv+c+0Ur1x`筤ʔ^22xvaXo 1d,1狡ؕDv9P>ThkqG r7qbzv ze߮Iɧ]O|Zڹ L'._+őOsAgYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({:uh}BnS}H߷\J[!jYu'aC 9 if1ɷqM›ZMD_s]դ{ Ol.Z^87yoA^&lp(D{rk]5ɦOګXʵVnIxIk5/ý{PAah`{ն/DrS}S=_ cfnma'xw(AE#:ijiHF ;\YvYZ8*ȻђTYFː Q;{HT#./o~Х;.7q^782ɉw^5~&jupUI4rxG3)ȌCXo҄ݰWa5Hh)+:aEG6e+* p-HӥBA 6i, *RbP}}w}V\wxAk-= ZFJ䘂 3hbP"J\| YQKŨ*D [t_jS_.߃c/(f.f3?3=vFFJ¥~ њ~fy!&*#Qܗmv"}b 2K!^C*Yi/b? *Ph0")X)܌@[ϯłފYG9[@F,6B݂ ٢M.#wYUqKټ̵"_F P+_ r` Bl dR!|`OcJx&Ŧf ƽ- ȔZg1)Nݼ\*Դ5E] Z<22? `w^7ƞ((a{W-B0?G&nh47R cach^V}^)\g0]/(љ)nn IL'$lOZ꼓7Q*%'8C>@3CGZB0a}Dgjey/6Jp_3ǯcEHZ$>8Ћ49U1} DOs񏮇{߁zU;m?7 9@&@Ëi_b[M0܇kј};H Ɋ{ 2y_-(#Wݩ<ꚽu$I5K_*HCSg; M}+eit*HPV{Z?EMܟhdDv'o #}kwi@p'XK[Wf5Mgr[;i;u4o'*\~XdiRȥ5\n=__7Ƀo >=Qvs6Ք,&so3dyhU.җWpB Te78*Ich{C"}$)P^8~\Sb=pkU&\uםz%🹶 &eo %{VƫcGjma`, 2UR^kBׄYlH@^nY|7z:I\z\OѠLg\wLy 2'7<˵ (kzI.z!SZsD!]"pҐ:URх*& 2*nn[7 پ&+JMb|#W8X)?6ZxCG۝D@YL 7!K=P O %7Ct#ҡ\j?!4ـZvG~)O+h9-tPU ڭpIc4t"'r%+bfr"@!uSTДWRuZq2J}kj~1h~g(_egp.jIlТz %2F1l"OڣUpZCn;=k|H:ϏC[fIج  _G\Bhi~iҵ̓:0gş˓,`@\xjhh~گq2ׂ>@U-44nKH6q(`0IZ B^{A/~pGԼ^I$tT>` PhmcdlfTw1RV5l*͒V;mSYVk |}fLqZqiB%L .R0N&8L R@ t7N 钍,h.^ړt-"|M8SDMÔkDac8 /DT,){9ѶlD^pE/A66;h9iZ;O,RN?UFJG ?`