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 ##Z/ l$ ]% SDS_Impossibility:threads=2elapsed=55.806cpu=76.252gc=1.748factor=1.377zXZִF! -]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,믣0qWT17j>x|eϽ ~" 9%w8X3:HpȄw2"(v Q]nv{_Jmt39۹`{υpGjNu5;LF x"]5Ny))S>^b#bVdh,}G8?Z8)׌f~;?zĔᘂvCHh#$yȴQ_t1£JFM8{Af:F;JmDֶ3R.y%4vdֶ9q' < B@"G( [ Ba҂p]SL > j4r ,!-~M 3:9Ҝ_^PcCo; ",AAxUp(#CHšj' F%+3 VvOI-q+/|=gYZ7zXZִF! YJ]ŗXiɟբX LT9W"qP}G Eyٿ LN[4*[X8*J?ROjbo{efZ}YZ7zXZִF! 9 L]ŗXi%92IR;0m;WqE1&&t7ZE;g_W z#;v5҈)+^b4І3,C#c,krڂC:^#VeYB?֞7Ũʧ ppA JUo:s?w]/6cJ/H9̼]|XJF,p!r @Ue,ŜcG"r`\v=8̻@JI{t(ƹ)Mu'yӂ29[qauo6JPӵDhqOF%ukĊц|3/lM쓽B?`쏰=dW[?\J{s߄V*CTDbRaè]AnYד uj%Ky Tף?V ޻=O*E(M4f6x8iGH(sZ?-W}b?υE廂D⍞ߎ"XFϴu۞f5б֫q._ q۬rHV |FxQG9Zhj"p8;6n>82T_;i*gqm1~741cRe9e}BeȍoFZY,@z"/;xX ", 9 RP(ձ'^FXs6Sq8:Ǘ8y9{Y^Å%ppiW(/S~n$G^`"hFJ$ X5/΃R]mauMGˆut羳 9T#`x&t>Oڒ-@io DP~FBrѣ¶0 3DEu齮_Uyg8፿؋nxPy0MNS!Dی6-H,1׮4hAώIп&NzW0Q~*A06y&LL쁰n/a.xj|t[ж7KOZNv01JYuK,9G ]ZNL ʫHen5`GȘ*zʻ"gwH)&7vz|0ND٫jCoMo׼?#FA1Ö12!Ʉxƽ,cX=Q.>-͍n [Na:e#36(90r'ܒQDt@aWs7+hFݲRkUōXTaE!$"%KѰ 7 jvs|kN{+LɹYUX{ g&No$( ĊDzQ(bOۚ׼` ZA_wb|"6x<7C{[ =@{0^->}Aŭ_piL*mT~jQa]kY?Ks}dNu-lߩy]ۓ"-;Iě&x BNb-=*. GTˢdԽ7JQ- K eFg"].Ƴ#fMf6KWse)}OvʿTUj#pcՍe8XGS,2&_Tak(/ZqSo#Wi~Ḧ ̌ ,Efa0f>e;Ms1PGh\)sUNr/nXj!8gY]ɞ<:W( P*#fd#('ҞfXF3|Ч=?zU}PwI!r3:Zg#!|O@1(.B:cbGvsr8egYZcbd62cfeab4a2974db9797616c4667845c8e448fbc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 dd3b26eb68cac29493bf399898266d7430458d30 1b8365fd395f925f14c9c68b29b7be93e81afc50 e5dca41ff6d12463e160e740d5ec6c70648ae6f2 / SDS_Impossibility