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   |D ]/]HOL-Word:threads=2elapsed=20.031cpu=38.548gc=1.860factor=1.927zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yݥ^, 3{P>O ;:>D*뿝/f ӥߐ2A kD!%s&:J3; Ґsɒk-oOl03pF^8XtB3ICCKDXf2ВVߛ&n B|XB+fr޳뭁ʅ݉+;D{_41]7w ^ FIX諎O|ƂܲOƲ#-a0'x?qa]@&, 惓Pjyq5!~5 4-U!.뢔CBQ?*bTLݴC"ԣϫK| 鄒_'_ RN_*d?N֩̈ULI@>jHөZE/K_7]h-AlUqUW8Q6} OҪ 7}(Ŵ"֯VЬ:Q%j"{̙xXw]ŗXiɟ1˦r8v@Wl"`&Ba*{VQ@{ Q/|ЅbyhZ D܅[YQH㻋=m'19^cȋm Jk,\|J CB3|TjXn ERXy\3R] @Q>㟚|;vkq mwk :M'V^9gDE[i\[z3h`;²YFk[f#(C n$Iѯ`ً{Wj^_]Ů :"z8r}^/sQŠGg%vng^`ݙ3p\#~~u5 WgYZ7zXZִF! s_]ŗXi%;c)44~载\8qWdϮM`yv?סs4 )z)*"իZJ&O{/0.B;XFAT4Ƀ5.`4T$6ذimׅT#]/~[.„d5*0νkח2#)=@$N 6ѱjq/U-0y8Wk`^T.4 cPHj%sɊ'㖥|E"|]!ZFV(TO n4Z#8`cjvpMx˿pZDd}jC߳V>ɦg8?隝fNTRUYta42"?WLN2/m%x+0#S6by˓ cS:2do{A͝i 8("̲h=u)b6Xvߌ7 GIhV_ZϦԶ.R_d:W2#nafw dKM@z!6y+3刯0sE mG < Pt1j?LP@(w/qC*JF$A• "#ΤMm;0-yc(!/,RZ3'?ҐB1߇z|$y9xO0'/HU4 )]4OюqS-2eT^JR0 Hj]"ՓڸВ7!_"&ʭF@4An!a M 4onɫ॔?PBi9LxQ)ظf A E` 2FOSk_0R =c.D Xudjp ׉.q9xʖi"@> ?qAΐWjf6k9Mh|fjc[.̄iMio%Wv e( ejI[u܉^6#{`