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 w |T ]/ HOL-Hoare:threads=2elapsed=22.124cpu=40.936gc=1.612factor=1.857zXZִF! B]ŗXf1-qSqjq[N),:ʵ?j*508\_4{ٟ=\l;k9fL͔΅>#p5zjYBT'X+qƾ$gja| (\4Ն=eHd&׺n8=£coVNE<(x *NԎFgxb ҥ#mVӧ'&Ȃ`Q;fpkd iv}:R~) N*EpxKge,>Zn/^cYZԌX)E6pbNr-2Wc裖$`UuV,W. vQFn*%5xWR3}e6urI]c>Wi ǫ*&s@VQrt Do70OhѝG>2ID3.ZƗL9W!5@*7P?6^N`ǂwc\\NoR^¾Շ-d朓}..4ɱgYZ7zXZִF! V#]ŗXiɟ1S:Jg~(dSH{OP:ʒuBa^w@,CTQ iϫ C:lp^4뫒rtSĺ*LKL!W  Umd:A_b ˚dчaXb(ETrU?l  |v\$5KBj(*1WwuW~W_GQpe~X qbÜ pr"\wۏCl(0C_??$ `vHgYZ7zXZִF! u]ŗXi%;Q]CJ;Jut wom(qrwSHUs%WѮ! q$NX[nJ%'՘0ad"';R&[uxf 99rB* rIIsHM"gbLLg3/꾪"T2-\Y Qwo lkl!IR3Q&*Ϧ]l2yj4Qk- ':!0=P9&TT[nC?n9~]+ 'Bc0=ՎAz%\#$@KGG1 AQHP$'Y“CȬGB x%5 Fz-³"ŕ<x v,/Vug"7~aϳB8 q?Js=ewd{6轢-fxFRU<"/(>/zVC66`;2υ35NR4x^}$H|Ee3sȍk{ԃ7^5:Hȉ:: PšcD4kt-3;>U-cjpfe^*<~4yaYOSdEr)2VT;6~n *$zz<S@xx\eQap\D*HHm!fwY;xHN-kXjOYUv$Jy.@}G]BR^8c ,=t',(< țW +xR”ѹw"r8{y?=U.B&GxW*T,XG@.iKC%] zxKFFsgTD}p3ƲDSR,[OS؝#[}l tyAgYZc3bb459a7b6efd4df3443f064935ac203ce4a3807a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5   HOL-Hoare