SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 LL11 L\ ]S HOL-Probability-ex:threads=6elapsed=7.358cpu=23.992gc=0.904factor=3.267zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-qpCGr(VX+͡3RE_DsdߏyMtCaAy $J.T8LDPoMB /fӐsZS.C|zT[+ gYoG_tA$۱=ٯUsD߄t%mP[CM&". O8c%Hh0 1B1 +htdt%TB %~(6ϴ :3oqXWtLr `Vn =bQoOcV.Bjo" {bt[Vt#O+BK$rܯA$M,#l!Js^Y`#TYy-JC>3?lO8wHB^ 3!ǻxgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >yz[ FSKтzO\K:B!U&ݧ@(bukWf\]8.Po'o;Z0  %WDuļ9T~: r958z7]>Hhx%QDBW`v ʱgYZ7zXZִF! )]ŗXi%Gԑ 7v;S6xXQ66Ehg'ot,ͩW{W|2~ӽ n졅;P|f9/6$~nϱ*Stw_ % oC}|? 1EO%@?_}?vR$$QbR[$a?QYt~,Z zFy?h{L:ˁ$ʸ}}[ uwY#֭KTS߷hPܾsoԑYb51װq$}J%ɋ L##ĴEŒ ʧNZC$P?sYǎeq1M?V%LDn:#HdT̒]OjPPB[Xɠ<d^fiQ%KDX!/jBy&?[kһ=U8Ϋdk}@ D䙂0cⴍt#s2c<ߒo)-{2/fWNX(oŕ,ӊⶒ*KZOCj#ɊQqNfʜ&\BZS: )(nm ߍD:'RY 2Z8" ;poO5tW?X_*"k蛘8^)XhGkhr|_`#:֋1  +oR\,+OIh|Y)C>v%.$KR=xA":