SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 &&K < E Codegen:threads=2elapsed=8.046cpu=15.868gc=0.624factor=1.977zXZִF! $<]ŗXf1-q恈͐7ӺV -fw0w]BjZjfʖ+hzqTzlIc;3aó_7}Y-lmd:K^,e>vJaKn\iko--Pjf@$$+Aۧ[L*JqUJUǒp}:TF0M=ʡԁ}/PS[{\{6 䀿͇%wG @WU`r#=3.)U+K&Oǿ]|5ŕ2$zQ"$pGʨQ~Ci5~p.)mfb&c]$(->¼ sm͂ÈtRM wY@bF'cnدtF09z_! άʖ( s>J\@ao\zHE[M,ׇ ʢTa?W1#SYDrh (ԑ?:BhQܵ'2tI}llø`(f!HۭGAhM=sQdi<_l5(k8z2zWE8.~n0f:{y]%#w\aW޲   CodegenӬbOKmazųkz7UBf \N|Eon6-U"4Ñt?k#HM.tBrO>/ztbg 6yIڅI;ZA u !*h/U# !h~!+>v'=s}kVgĺGC\> HgYZ7zXZִF! %}]ŗXi%CkTXt'HZ&Kӧ{n݂Bn%=N$=Y^ =CS+*a4숴j VXs '`̿ QR}rIߛ0`5l#"H0{fVƏQgK'"ے ?~fH4\MP=M&P{$preG\uM ,n+ӯmvDlJ }N3c`QӪ U:5u84ʥno'BnD;T7FBfnjXуDe BvgJK?NKl۪0aoٗVw7G\-q َMGA (<y$e7̣<`ujP؝G#z< 1 0Qo NHs.)3nLkp@4{Ti ^еJ{'n*.LB#2U+aSeR`v9}F0E$Uh`&zZ*&ixYs);] p 'ΩѼ pqK}XaGUWmbE?.AwVոpwx}p`.p.Il"Xc=}+\>Cp[x1?2j ( uJuj0@ԧW 0"gF 4ޡJᅱgYZ1450318564ec5ae381a147a236be036968537a0b 296993b783a6d9569ce1208126a268cba5c0594f 31755525071793d62f6b61cf93fb27d5793a7c4e 35e7eac4b98b099364dcbd421c981abb035e4d60 397c35819dc7cd2d2391a71fbc63e26f708923c5 44baec093d30bec4af6ab8a6da185f226cfd552e 4527f46c057bb17c7846808d36197a5061922fdb 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 5dc9340949395563724f9cf409a41f8a30a033c9 63d6ee3afc0d93215fb684f7b8e57b1f65214f34 6be5104156dda49e2ca1b3f36a3b90c8f78ef6e4 8f194db846e67a7e87b25a27fa8ba1259c4af82d a27f8b981eaaeb1920d9e75c995d1fc3c50cddb5 a634d2977750efd14daaf8018feb1fdee3310b68 b549213b2aef49e3da5304ab78395d90a826e17d bc5569bd98f3bf6b9d8aa1009b2cae51c0d299ce c5b135e0d994f1f2cdfc35bb73356d594b9a2437 d9f64bb6725d95eddeae3e918c446ae5c078d4a5 da1567c528c0591b76c11bbf612dc90f71ec564d f0fce7eeae1ffa41a6f0691e21062958b47031cc8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed a5cffed2ffc781626b4d5de30f6f112697d214a8