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 &7 ,  ]% HOL-Quotient_Examples:threads=6elapsed=26.324cpu=40.248gc=2.536factor=1.537zXZִF! u]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%aCI,^,&TGbL2mg؁IХڢ! ;jBv?:-k!!haZ nTn$͎\# ]DlV > )(T\Ӑk|F;^PnMm!Ũ54BnHï}EjEQQADD"MmJs Xӳ։oe&|K=j1 sa??LK҂AW:g=&<= 0h#mDo*6*-P%[E[> zlh,'ovKS`[l,<`dOnd_㬔gͿZFJf[ M)n'!2,LnT}H+#gΘ^ Qpm6*4Jb ',Ԝ}ͱNI(Ab~;NsH0X7Ȫ^iDfՔH([j$ȴӺ'Mt9 I?F@Vf4gCip!k5<ż oa(OXeO?Tpnql\>7{M{ᢳvB e13^V$Dk#m,P%sWLid{}7gYZ7zXZִF! }V{]ŗXi%90%'ԔX} Rb vSI 5{8>ٚ#*BfDGvo Mpq~bj^ҭD 7Ȓ-#>k zB)!ί6h]*2VB.َ};fNⷨUU8;9iҚlHNWc%$CoO:bD̒IhJ7~`,jO4֌*.AmQmಠ%zagnp29M$`)JDt0R76AX>(0]P u`?PДwL Xq}xSH(U=Y oZw=- u(TѺf،{U`ŧb;v?+m3\n6I,/8ʾ4҈CS^`z<ľ?k%WJ:\!r,r,}\w%k61 dgrj M6MS.86x<'x v&;èe(:y4{ mMn  b%6S:\wxkOqD \+?|@(8ܢټB)ȘVF'&oV^%5#rh<2p87 w67.ֺ0φn#'p9~&Iޏl`qi5eZ01"ɍ.=E<}P=Y`&)S:2 $N0//θh8[YuMAq/4NA