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 BB; |omLefÄĈK)w40qhk t71;Lproiy{j1 :zFp?22p2`8b"$+3YF#U2%>C.RU ɍv_kӘ i{ Q~:C:4h?Yѱy&+rhY ,PF%B)nf T;:7ac,xFZꅰ/p_]X\ra>C}ҟdt(IDn;gNl4YXNR6C!f´sx#" g}tU*,%<ކzer2KBtgc'dr?Ñ<~_eҀ_X!r{\ Zcgdk\4[!kWD)Ed#22_yzݚ c{;يܵlIhdTy&s7Yb mj0J@#q" 3. ` |3|2r 3!Phf).;^СSCŎ&b(Z}sҸI'9P_ [,%f֛F %xgYZ7zXZִF! hY]ŗXiɟ9 i:4'9Zfw4 _.9S>;/#jIsmלrp!oxW~'1#1cl7H48Y1(&g-?Tz ۹׬:A191Bէ4( Hq06GgkX J{~PE'Z:tAF`!<1\d,AKq,\2S~RxFhEzVԯ osPvO6hg ȗtsciEWĜ^4 s*ZgYZ7zXZִF! O ]ŗXi%9(R 7w""쑖[B4.xr 'j␾Wv/NNX i^X}yf<)o^GHy )>ߡUX%CG|EA*kk G4Ȥ|@魓%l?d]&j_u4\b_g!ƒ \|tEۺs ]`5n12U pI%$̜@tm< [C %$tBrۖ#ӹ@ jKu5d21Lq5" EZ+)1Y_עp{azK;&]]z_fĐ?keGv̙:BC,l61idwE@P%Qlz"o4 na PML/`P\|kIvf.`)7-l RYu4hꃐjF]^\An٫Qp9Z}o/ ?/qbKNQSCȐa?$?&Bߤ,"/yLUqtWy@mX֢͏>KzΜ/I̾&N:^rWr%[Les>.Yxޘa On ֿ0½BJ.bBj^ RX8UUO$)3ۿiR雅U'qqQ#7af!>dHI9%` t8$ *h%$N+vhBFEs>`Th{`UYH#Nw /\kbH5,@Nxk򵂻R`hᕌJ W%gYZef8323fcc9033c8d193f15a2b6bfbc8a0ac5cf09f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 702c52886cabcc5c45cde277e6070ed95fa786e5 f7245d187b973e9498defd3929b58d7ca28c0afe   ZF-UNITY