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 [["' lt ]%]Matrix_Tensor:threads=2elapsed=37.714cpu=55.400gc=1.984factor=1.477zXZִF! o]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]"_b9摸CfaӶ]$BKCY4f˝Ke dý_DUfiA;6 )wͿE3>YJ.?Խ5Z-~bΆp}Jjمp+TÚ`(B$hr+a 2XVzVD~$.#N3k~ٸЇq5(NPks0ǢA?hK"y2*6=zGT{P-yfe-m%c͑˂-|q [r?K2hUI#?D XE䶚MjrdOúG%z l;,HLzͶi>5A~F9lj|YʞI`{㺕dwq+Y/ ʴɯ m>/@ЈO5)3I\ŧ@ a%,L`),)+٧.9̡a&;|ijku6X?pm}p oĦVZ-RyQ#qomGG3fFj9$*|[4 ngYZ7zXZִF! OE]ŗXiɟRepE@$a qc!L\{ 5]p"@ ?j^`k6aP9 7}YZ7zXZִF! ]ŗXi%9*]۹:姷aF-w,nmFskjL wy!:cul<Ԓ_ebj',pp:U "+ta/e@ - my'ћuy䘶dGuc?HLZa0$9 Em| JZکb3]j^՜v#K˨qPlUu~rUraFl=thSKPV᥁r,ETXAG[UeYg~FA+8*?̘V (TrW5ЅfՃDZRU}P{NSbCiR'6f* |q^3Gٶo3!$4FB|_:9(90Cq<֭Yծ2M )_Y jddO#H *nv0Dͯ&ҙ;gH :h*CsۗT10)T` lrmf8);H W=nk3*'Ӄϋ$>^' 7Cve)c-ը/v^dz~Q4>[tCj)o黧(^υ 4^ϔC {V M*\5`8G_z͹}5m1orm."&5jߛDZ`Sg`͝p/\xvn hltLKLO"U D%4lg7 K=>#Sԁ.>FeVK\!:ۧIPN9M ^f[ zNW֨q0):oKy!eHFslyF-'pXȮ2"#>GEpdYLY\4-o$GI]OJJzG@j8q[j i74wM J!(&:>U(q>킅0dHV@ҌPB(?iA&"24ڊ`XDU,=J1$KV ^eSa:U̟L%UBk_z<Q#]ʀ@ Il!_HkHCi0QG*<̝h螏)[7?+Т'[z9 "9! ěƪ1M<9%{WWS=ijS6Bn&G<0rLꒆ0V>;ăOCՁkT64w)-2)75Swem+#xLaD5/o^[e+ZWq9&JEdCKc^/A(%uguE12df PKnK" >7BV[ ٝ0O/{tˀ`;X)Rx@O]] C4uܳ?Xg93X_.έY vP·qQ#I} D-մ&V#]݈η#3dcN@= 8:3T^QJMsY#12B< 'x5_TvMgZH_o#uU)"m >}@B,Q!zNCa0fXctHkkB|Xd