SQLite format 3@ .  YYQ77Atableisabelle_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, "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  / /F < / Heard_Of:threads=2elapsed=44.977cpu=71.592gc=2.392factor=1.597zXZִF! )|]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFFLwBIUy}Ἑi/Qs4t5=gf@^̟)23]¤.zr EL彐xg6͋|YrB.*Q_ghmn~q^g6;2(Bջp~^$E5 YDڇJxsUȶK-_+n޵nEQ<2ӡθ6u[ΖN}эF7guwoী1 ~eE#Tn{M)6 F.i#1u%@ﶾ)dT ]N_-^kD/nWp[Hw~6:@aZD w)"}5 )"f8\#Ī A鞫}TD݋|8RS -Uap:z;oD+7WSeV8NBuP 10wv3:N"KW7t+Gt\3Ev}|PBh=+ 2.qm|Zzizv`u =]|+WQRv'&&BwTc$6)QLw5hC>3|8. 4y|Q'ܧaq5yX}w > Y}u9咥loXj ԰.vf0&Y/XnK˙悉=MAJeo| \*lf4 AQkdT]Et'#Un9`3;LNIiXQR:4Dc aph6YdQݬͱ@]lnAsF'ܰk&JF4l= (!^J\Cy:}ۢ-֥T`s/am*i7% @MŃÒO< Z4{2J09_&7[|q%v 13ʎ5qRq^@y^vupWO(ٻ3Ĩ\3ӑ@paI;0kFlUe\!N/5Bw/9lgpAG9߁^G_Luf'qEȀ(NB%*'%}ٲ)T P!'blm\{[тkWy[~p?ƹEgQDW}ĥiF n;Qྛ;eU$Ϳ^~ia%5N^Yuy L *\ԭG8dA +' "R!JW8_Uww܂pw^!..=_aªؾ&SBe=ljLRV6R6^HBu٣ce8ٝ=4$:z,>pgæq_Pd OPNT[ߌEHa`4PMFk3M\!O=B`'W^{Wc ͧzxe3Z/Z|z! \tq͔ ՄeG$ĔfZY?gJZARfk''R7Zu|FmH4}D_v"+fNΉ)r!b5xK=L.Ȋ"|o+5ÇL¢bmWX{ٍ&*E6\ +ʄfOAkGߙM=}9: