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 **S s!EE= XY$ .Y8)*bN A6E5DI-\ݰl?}n(P4ީ+a K_x|CC!ѽvClr3'v0 L&zJ=な)!y.w.g,Q.WyR2KU_{:` \|f{L'T<;BKiG"h!vaQ1oDI\yt՞Uc1?(5DCIZϥ k)W9޾*}%"n2}2TɋfT7ׅ ;4=* SX8>?GAu^X)q={u>p%(cKA+`bVLK(|a|^AFOK캃X,$‰}Z XJM[ݶhf4ay FcnugYZ7zXZִF! E]ŗXiɟ@l M D-]CX3;wѫk(,CS* 0XL)RE$OD}zI=@ID$}7^[gNv;tĶY&,!4:Jz0ѡΦ:L2{=J HYHֿyTӯ "Ba"ES E;Ն{8Ϡˋi+tĺAv ]r'Y(ٶT0 oI6mP5\-,ܑr.=h*0v+vtTFGAR-+hӱgYZ7zXZִF! f]ŗXi%;уq_{cxBjyz^kmBKz/JCDr51Z޻Ԯ4Uʖ%Kd<¬wUAJ#qE|oY}BrS-K`\FSNv,p$iMj7#K_XX@jZ,C'%'k{>fXqIcl8E<z&C{<ߑ(/m Ɔ&;nKمvKJO0;7-M W8PΰG;cM 1L)A)ÐI_RxD@sb`F @9-ʲiՄtZ8L(%.9Js-JݨßG\i¾5I@{\ACuXlXTURh^oxPQ#)ʖ˅!\ 3c: VzyLR/F”h@},(a!:fJNtJYjp s0b*X, ݇0f%T_8d2Q&0~@e7: RC&ȭ?E=Nʆ${zlmۥ+T18:*H#򱬣OxHܜc}M"`י ̀7ޫ:?ZNlx,;bnZ6|L_:V-KbS-511%eMR|7{s &of`Wz0/rHϟ5L[m@}[($5L1ECp!z5?fkg$ Geۂ]Am谛L/?H&.0g]\ۼx:^WJk!JMNpCqm,1EE]㡫`7/ ]y̜Y*$,DrDRxM f d D ZXu>Mml,r"i/1 wFڗ z_{Unn,SþJA|P80֊^QdQvDX |0f3v.bBuB%mnd?ï݇A2?FXGi/vj}CS2K4[H nt9o6m)XWξ{j̖<^VWQ:jgBjL 2ؽV oqh JO ^nu#:%}ޠܹmE^bV3IIB͋@Jl#`6YˇX|H4f)4Ͷ6ػ<ϯNîq{ ns$ >5q+ 5:mQUmuK8^¹Xm9qy,/VV0 i@D#iWHSr-N_ LI0عi!c䪺3=&1NE`ys0фm?ՉT5,#\S0u W.[X5`bf. C{^w~)L;OGro\bdLx Dd ֝s dԗ[Iz;(fa`*RI*N`Dq/\*@n5s7( irlC}A'<]?UCp#H̓IEc؝%|1lM άSQ,~~a ĿDL‭4Sycw2M^?!痔=wfŷ}"#N'}#hk278D Kս9Jf[Paaa:.maW9'G,Q'éxQ