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 {{ DL ]]]ZF:threads=2elapsed=21.801cpu=37.040gc=2.320factor=1.707zXZִF! "]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tv+bWՍ5i?Or(f,xoYw]f%pŨ/C[N R ?6ׯ4ɔ#<,^֗s=[xlYa_xepLy1`V'R yuBh6xIxQĪEV6gZοSG. UCtJ{;/{';suj])y="()a4#;0w;KPgoтYGapБ˙FU׾uc6uo*y)":k1 E8nO{mM_u[{|Fj^4T}7B r)i?T?]a{1]25`!{KcJU'-_ S|lW(rxo^c6A[)"}NĜ &ʣWS{D[`ֽQ[ M%QekB}5?J !rӒT"VLpo3"z.zW8װj^\qP8M'0(TOl1&NDBxEۼm dճւ r3RTټʉc`M1&$#% Bk^lT#ڱgYZ7zXZִF! -]ŗXi%;Pỵ(}U]"gnls1K3ktJ:sYJ-afrا砤n778-7":sd8HT' f-8+~0)$_ (!fM' ZD\6C|EV#_ Opl4RP`ɻp662W3YkddNB&sq+!GS)u!qfbY!mWn;_6Z}8a[@܆_ǰgW؅:R3mu[h_HR*[aZo^7Hf¶qݲ ‡~隳;2qNcHBޏXoT [`: A SM Z[q杵4[5Tx:vܩp*q4/;fdžt.uZd8;?RbrUBȑ3j0!v'V"v!w*y/ⰷ ?0e C eG$c*Cѐ^4bg o Xo #IQM-N~;Fmȵ*9׃;McfMLH"8MS UFJ{sFB_ -BEv'X4z}}Ht 31v ݋_?H1}7CCp(. jH ^I{E3$Q\{Y8*bd}!VGnHNVm<\i\]K =oRm Whẍ́MZۃT,2N~&P@۳|"pP[V5mrsblDocG\?q/ȅ;^Q:!+͉C.r) CVJ썓(F~:+C~8f+:ī ~63eb3srrĊSA/J2z]CzNB+B ]9VnCSSXx$R[,svKPKzT7 j1ۻzOXy"̒ClO^%( 9^u,mPЈD Xp+ ╝&ы,$|ceF.Z< P5SOO(aue^]Pkd*aXRFOgdžw^qL/9V_G"lgTecEɛ28 ѤQ.#'qI77wv-ERzV% C}=izKoheNpυ[e""`J.yt` $Ȗ+gYZ38057a1194fb4377aa95ebcfc84b1ae4f95fcc674b2e4ef84f2f7c72f1d619e9e1af08455389b33841e65c246344adfe660a1912fbe78ce79cc96f73  ZF