SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  1 t, ] HOL-Imperative_HOL:threads=6elapsed=34.903cpu=82.212gc=2.556factor=2.367zXZִF! /$]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFøsΚƐ4?r|t2>*;}^#ctY8_DywZ2^O8,ؼ zj̶d: 32QQ `N,MCesIh uMÐ(Y1zI] u+o5WzbĝY g/;ְ1Y# jkHVI?U8`l &7WXLUz1{h.oLz{.H.:ee{IHzP~5S wzY 1 HOL-Imperative_HOL  ,uA_[/2ddž6oo@Ǹ*3(¶߃D 77S#3/G1T]vW;c?g|& wrS5FS@ҏ>RLp,u2jZjC_D;K!z1ЪhU zJĩy!wG>i#pn\TJU2mì1^.,}h_2Ydfgϕ%\W ]P8f)P.*t "h|Ϗ >g 7(KQ-0)8FL*-3`96kn׊~W|X2|6#O?W4 /:x g2CqN6/ !8M7ޓ(]j ^@l2gYZ7zXZִF! A]ŗXiɟ1nhЦx"n_8N]( eOtd6; c)eDfy?gax<;`hOh LxOb|#*q|,LNmV58Y_E irDۭGO~0# B$൞"w+R'pAJL3SASe"qq-K|eSڹ1xmnݸ1!}L#(eUb\}Ao{YMOZ]j z}дCB${3'&)n6~eעtX?p֞]v%%٩T>!Bq Р=YVK1nt,C+KX% .:d`h^ (|+9?4Y‘+{'M ]CGY>~Kh&4y %vvT&kr$OGj 715sU2>5'Em總E& M{A@z2;lYra?4DEնЋka6:_x‚CgbhWtV06,d:gr\ebcXi-PMegf1W_ $Ҵ$u2;|oZ qZы(9zFKE=߶QC+WGn{ꮇ9c|3iOI,0bUƠRj{VLkɸ#BO/aJY!*kͮl k1`F PU@upUA{ҁUltOYx?B$W! 4Ǧ+\"c ͧڪ_sG)yWS'ηԛfRf =^.nTneߌ-),#{ +Rp#T>ySDŽ,ccy>FE] [a_"+ĸ ]or^'mTZmpߚzko}hQٽl 8Ӿ?? 2l}ebX_U0! \/à(Jwu.>"W~0DgILPP^+D UmOyyw`ċ+u >ǚ&I|wb؝f'> KV &bJ~\ЦxpCh@X`PQHg͂~XwϷ$cj?5IaJcʨȦg0S:lݢM}|.+vN՗ViRؤ" UnU 9ľwWL,K)?@A-#DG|V}ۏ 86[.A/ŵx?&7|o&jr2s=Գ̜lD]Iv/ʝ &aD1ݥL[65U?ÂsNfu^V"<i]MG*ÁJeH_tt +k(0/;fT?6as !kӨ]T6KyvWhI魏A6߄n DiH)j!"d:$`,.sddfIGaFGN؅Յ0qX ]MpopPvCG/k@e\!%oԾݯ3] ̊ *U:!X6ʃg(]n޼M0Hx0WjS-<͙N>Y) "Eһd7жSÚ8aE4T"Zi=W'}X"> 0aO .šG"29nbBhf() sY7,QGiY-U7vPm^qDj~?P"W^մ]npU{Y{ Q+uw(E>~$&<$>Vnp;N UD˜D(Zb^9+@`!j@L\bAy%e HeX|lJIEyUxr_ӑ2gRo]1Arv$7| yu٨9{ ï