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 1 ,f4,AHUB x6C Eg)2\F&fT 5 FXbPĦ޺wFY0#o?Of[U.םMۈ]NouqK)nAǚѵ[s pbN{* j5aMДaxgRV,5%lQX 7x ~m0Ѽ|qt7[kDSiVК   HOL-UNITYwIt(NIM`s'fP#~SjX37#W:q*Po`x(+9OgT"~bؑ6e Aӭ; | 3-'}>["6+EUg.l#/"Dܭu1Ԭv*|yȱj]Ly:IŖ$";8,ٰeJG*0P>la t񱷋 1},KT't3#^' NAiǘ|IvuƐL׶#3J@ko^_,ms \t+䐩-ˆ:ԝph~`ׯ탬' )S2f0y45:o C9NpFdti"BHS$M2xYYm6 G-.]vHf)běpN0J Rnz.}4]_*HC{=R_ϩFIu3\Bݟx?=P 8ﶔ#1a.pCֈ& =t~"ԅiN;K&C ? =5GH0tyCVS.̔b6s=e Δ +ܠА-8L͏g}ڞзosNvb*HR,r,oF@ތO~C vr&OR-͉SW.}gb)QF'al#3% 4i+hKZ&F #z`ɍ\c N41rn6zwe䑵{M,Xjh@Lձq$ZA#&t Z1SgYZ7zXZִF! ;]ŗXiɟ1'x^܎Zӹ?X@+dz߄b_2M_#';ؖ%B z 1H`U;ftcӮysyFAucTK̄EkRDQc7.IbZRz$\s X3U+R? ̀,] ]?ixG/8K6 UީN1Y3v$OͺPFc3ԏ>vly~Q_22-ZہCѻ'8yGF;c\G Regl|腀 ox[M V+a*ܻ!moN 3y--j3#}艁`q/kB([: Ǡ/}7LfRUPS+<-CҚuYd{Dmmٵ? mHE9݀%"[jZ%LW'`2jn$x0KY`_cMeAlJ@Z<8C3p),9RuT @bhȻ0o`p0a[G Ջ{[Y1^z7ܠͨ[?&-xJ!:)!ξdϟy?? (7BJeE!T!G{(ks>ސs^Ӓh-l@3FL)\T7'PB,Q u!i] @Wʒ"EBM%d]vYԪ kğJ2FW!INl(/'0h~5$,L%} ܫAg¾M<4HIl(Fgqi Ƀ"u#@twdfW-4 7eY*AL/Y(|P u;gYZ9c08a58872260e641c10e73ff256866de6fc211cfa37635535c1a91559f94a7dc9acf81e08caa63c 108107ba6152a8567743bcd769d1dd970013adfa 7e4070d2ba524418af798ee984dfb220aaec7062 50cad38bb92f5a9e7565ce515847c46b4f17910c