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 - LD ]S]Relation_Algebra:threads=2elapsed=24.800cpu=45.384gc=1.888factor=1.837zXZִF! /]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`$4+1h%nFARr'假<$_0ld* iNM 8&DOA;K [U_72Tr& fo~:]YxH 6<_=ӫ,w5֠?!e%x͕5Ofqe88gU]Ҷ^C;'ϝ3ƪ7L]^=Zux&iqWh]baĪVE:w%;9Xww,Ih qKq˘];Uh5o/Ic@:'YpΉ>}{)_e;]Y쐂+C?4Ar$$Ƙ̅k{Y@]ys^ͯ)"ʣU@\vF2R%Z|.QL`PNu2Yfc-T,I^W=1wR-MfQe6kI+uZ9(~Ue{%q'jmz;IO1a(lړP}pl* d,W-y pLh gYZ7zXZִF! ]ŗXi%ή*3< q%؏ԬX/ o(,pBX^N0_%Kq?s[zS^`_y0Y\ Z\=S!SA/n_ÑGzYrȌWz$(\RG D}ie;KDկ KQc :3Ջ5t7ZgKzYN}~4\ Zj0M_/waQ݋:zC=`j"Ss~G_Ev O!ka*#trackqh1AI 4s7P[kaҌ t/1 X~jL|E¼>ui4?rPjU#쨠)4]Ec51ɛ-#T_,%'/߻(2$iϿYdՍ}+yi.H00A|f 1B78N>ӮRAFWn>>=dcN,xDL@z{U 5rťdsqކ(J!홉33?_(C{ʊ}gQ)JeEw1)DUN˲c2=|BfQ7u ֳu]r\P%~9W忦e-gl)U-<3{R0?>ƶ؎d0Z5xX٧i-|eɹ fQmh90SG#u c&݃g2xX(-X͖׏LIe`*;8n>JV՛Kd@n(Gxs;0mCGG|a~7{v&LM11^5T0Ct`S-X[qed)vTVsɯ`b7zZ/hC0ptу,o <5 Ý>hPtɼg {hPbA4k# 1)ۄd$Ǖ΀G ),PJ&"ECKDža8k:0]U_pipO^|a2!"4UWK&]qS A(gYZb92dbcf0e93c55d3a92c409934164a2e7cc2de3300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1d794962c486b8be2167e1483c98de73c64d1df2 d6f61e0229c78f3946db5cc4cc6f7e62cb6a1a13d71066a3fe409da6ffba1bccd0343f15f28f5fbd - Relation_Algebra