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 c7 TT c% HOL-Quotient_Examples:threads=6elapsed=28.685cpu=43.340gc=2.296factor=1.517zXZִF! L d]ŗXf1-q恈N/|p~p%+)</80WkLa B wg($ۃ׿>ϸΊEHrj5p6.M=Hȉ&S¤o73{1w۶VQj^5j{ edUPQM!-KܙG)tIrWeY6NG’iRM> /, Dр]HK+ }ڦg K?U!$uIQn V VnՐ@W^)#2ej6 KL[ {^ju#FXC?DbVXFz9dxQ0婡 PmfdWrK-^Qt N^nɧ2H2SJMo[^7Q <6N: vдwa5XeQAI_A6@]4F>%'#e?_ FNB/Ajy&xv$2#oIb\#ZOV,dZX:!oPXcG?ְj`_+Q5IfOMỗt2A7СsEr"xWq9n]DށZl⌨8)e)/&3EWӒq>h&cBA Z'krNHEbϿKCr cqRch"+Łd 5QˌGȰDY4b s `U),QD}5&>7v32B{!k!l*LdkGd ZX+G\^%/ q̈́RʈgYZ7zXZִF! ]ŗXi%yL5eexz4@KY"' WBR\l4 ٣Ʈ|[5VE/|"^oTd?4v4C#0PHV!]0"FndCd_tE0=[-,6E!3 SqLܷH֋ ǣ'3CrSPYNxM.zH5y+8j FP񗨶[I_ȹ1zdw2/P<ώ79Afq4vnPc& lޭT?o yȜp덽n36pTda CG4{ ׏~L&R OfQr1'\%Pxz]{N91Av$ry4vqj'^ntKaU@GV+8/ 4'A`ZEkK:2mnYau?;<VhǨDpBƨEcZѲ ,g zM'ˤdʪkra([O/&QbWm Gij[AB9w80'[ޏȹ܎+ZR e)yն8l՝@VO+o`/F}\XZCEky2